Математическая выводимость

Translation математическая выводимость into english

Математическая выводимость уравнения неоспорима.

The mathematical derivability of the equation is indisputable.